Nuprl Definition : es-isrcv
0,22
postcript
pdf
isrcv(
e
) == isrcv(kind(
e
))
latex
clarification:
es-isrcv(
es
;
e
) == isrcv(es-kind(
es
;
e
))
latex
Definitions
isrcv(
k
)
,
kind(
e
)
FDL editor aliases
es-isrcv
origin